| description |
Joseph Sifakis, directeur de recherche au CNRS, au laboratoire VERIMAG , vient de se voir décerner le Prix Turing 2007, la plus haute distinction en Informatique, prix prestigieux considéré comme l'équivalent du prix Nobel de ce domaine. Joseph Sifakis, premier Français à obtenir ce prix depuis sa création, en 1966, est récompensé - ainsi qu'une équipe américaine - pour avoir mis au point le Model Checking, une technologie de vérification des systèmes complexes, performante et fiable, aujourd'hui très largement utilisée dans les industries du logiciel et du matériel.
|